Requirements Engineering and Verification using Specification Animation
نویسندگان
چکیده
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملFormal object oriented requirements: simulation, validation and verification
Requirements engineering is the first step in the software engineering process. A major part of building requirements is the modelling of the system to be developed (or updated) together with the system environment. These models are, of course, abstractions of the real world and as such we can say that they are simulations which need to be validated to show that they actually correspond to what...
متن کاملVom Fachbereich für Mathematik und Informatik
Conceptual modelling is the process of the software life cycle concerned with the identification and specification of requirements for the system to be built. In the last years, the ever increasing demands for software correctness have encouraged the use of formal methods in the modelling process. The use of formal specification languages provides more precise and concise specifications, and a ...
متن کاملFrom Rigorous Requirements Engineering to Formal System Design
Rigorous Requirements Engineering The aim of requirements engineering is to capture the intended behaviour of a system (including its safety properties) and the characteristics of its environment of operation. CETIC has adopted KAOS, a major goal-oriented methodology, which combines two description levels: an informal/graphical level for optimal communication and a formal layer enabling powerfu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998